many-sorted logic
多类逻辑
热门查询
- brisk adj. 敏锐的，活泼的，轻快的；凛冽的 vt. 使……活泼；使……轻快；使……兴旺 vi. 活跃起来；变得轻快 n. (Brisk)人名；(法、芬)布里斯克
- demobilisation n. 出场, 遣散
- occupation n. 职业；占有；消遣；占有期
- telltale n. 迹象；指示器；搬弄是非者 adj. 报警的；泄密的；搬弄是非的
- trent n. 特伦特（男子名）；特伦托河（英格兰中部河流）
- focal point n. 集中点；活动中心 [网络] 焦点；重点；聚焦点
- alteration n. 修改，改变；变更
- precipitously adv. 陡峭地；出乎意料地；陡然地
- tatler [人名] 塔特勒
- maul n. 大槌 vt. 打伤；殴打；抨击；粗暴对待 n. (Maul)人名；(法)莫尔；(德、塞、捷、瑞典)毛尔
- orienteering n. 定向越野比赛，越野识图比赛 v. 进行定向赛跑（orienteer的ing形式）
- transposable adj. 转座的；可换位的；有换位可能的
- spenser n. 斯宾塞（男子名）
- timpani n. 定音鼓 n. (Timpani)人名；(意)廷帕尼
- diminished v. 减少；削弱（diminish的过去分词） adj. 减弱的；减退了的
- processing v. 加工；[自] 处理；对…起诉（process的ing形式）
- bootstrap n. [计] 引导程序，辅助程序；解靴带
- premise n. 前提；上述各项；房屋连地基 vt. 引出，预先提出；作为…的前提 vi. 作出前提
- manipulative adj. 巧妙处理的；操纵的，用手控制的
- solute n. [化学] 溶质；[化学] 溶解物 adj. 溶解的
考试词汇表
- explosive pressure
- explosive property
- explosive reaction
- explosive riveting
- explosive strength
- explosive variable
- explosivity limits
- explosure distance
- expol to the skies
- exponent character
- exponent filtering
- exponent specifier
- exponent transform
- exponent underflow
- exponential baffle
- exponential change
- exponential cipher
- exponential curves
- exponential decays
- exponential factor
